\hypertarget{index_intro_sec}{}\section{Introduction}\label{index_intro_sec}
This is the Plegat documentation.\hypertarget{index_install_sec}{}\section{Installation}\label{index_install_sec}
\hypertarget{index_tools_subsec}{}\subsection{Tools required\&\#58;}\label{index_tools_subsec}

\begin{DoxyItemize}
\item Java Runtime Environment \&\#40;J\+R\+E\&\#41; 1.\+4.\+2 or later \&\#40;
\footnotesize \href{http&#58;//java.sun.com/}{\tt Java Web Site etc etc...  running Running the program In a command window, etc etc...  copyright Copyright and License This license applies to etc etc...  }
\normalsize 
\end{DoxyItemize}